theorem on connected space